Abstract Provability Structure